properties of binary search tree in data structure